1st axiom of a metric